صورت بندی در نظریه ی ساختاری برهان

thesis
abstract

هدف اصلی این پژوهش آنست که با فراهم آوردن ابزارها و تکنیک هایی به همراه تعدادی از مثال ها، بتواند در اثبات هایی که دارای جزئیات نحوی طولانی هستند، رهیافت هایی را برای رفع پذیری و کاهش طول برهان در حساب رشته ها ارائه نماید. همچنین تلاش می شود تعدادی از روش های بازگشتی در منطق های gl را با کمک قضایای درونیابی و رفع پذیری و ادغام، صورت بندی مناسب مجدد گردد. لذا پژوهش در این مسئله از اهمیت اساسی برخوردار است.

similar resources

صورت بندی برهان صدیقین ابن سینا در نجات بر پایه ی منطق محمولات مرتبه اول

طبق یک تعریف رایج، برهان صدیقین استدلالی است که در آن بدون فرض وجود ممکن (مخلوقات)، وجود واجب الوجود اثبات می شود. شیخ الرئیس مبتکر برهان صدیقین، تقریرهای متفاوتی را از این سبک برهان ارائه نموده است که از جمله ی آن ها تقریر موجود در کتاب نجات می باشد. نوشته ی حاضر درصدد است تا امکان اثبات اعتبار منطقی این تقریر را در منطق محمولات بررسی نماید و نیز اصولی را که برهان مذکور بر آن ها مبتنی است آشکا...

full text

ماده ابداع در صورت برهان

این مقاله به بررسی یکی از ابداعات فلسفی شهید مطهری می پردازد. ایشان دعوی کرده بودند که اثبات ماده بدون حرکت جوهری و ترکیب اتحادی ممکن نیست. نیز برهان فصل و وصل در اثبات هیولا معتبر نیست و پذیرش آن از سوی صدرا خطا بوده است. در این مقاله دعوی اول بیان و اثبات شده است و مدعای دوم ابطال گردیده است.

full text

فروپاشی نظریه ی ارسطوئی انتزاع صورت از ماده در پدیدارشناسی هوسرل

ارسطو در نقد افلاطون مثل را از آسمان به زمین فرود آورد و در «تک چیزها» جای داد وانها را با جوهر در معنی نخستین یکی گرفت. از نظر او جوهر در معنای نخستین، موجود نخستین است و بنابراین موجودیت وچیستی یا ماهیت یکی و همانند هستند. سپس وی جوهر را در تعاریفی منطقی تبیین می کند تا ساخت منطقی جهان را بازنمایی کند. اما نقد ارسطو علیه افلاطون او را مجبور کرد که نظریه ی صورت و ماده را چون دو جوهر بنیادی که ...

full text

صورت بندی گفتمانی خطبه216 نهج البلاغه (بازتولید نظریه بقا و زوال حاکمیت از منظر علی(ع))

خطبه 216 نهج­البلاغه سهم قابل توجهی در تبیین رابطه حکومت و مردم در اندیشه­­ی ­سیاسی علی(ع) دارد. این پژوهش با رویکرد توصیفی و بهره­گیری از روش تحلیل گفتمان،...

full text

مقدمه ای بر صورت بندی میدان معماری معاصر ایران بر اساس" نظریه میدان" بوردیو

معماری معاصر ایران، به باور بسیاری، با معضلات و چالش­هایی روبرو است. تبیین دلایل این معضلات،  علیرغم حضور معماری در زندگی اجتماعی، کمتر از منظر جامعه­شناسی بررسی شده است. نظریۀ «میدان» بوردیو از  نظریاتی است که در حوزه جامعه­شناسی هنر مطرح شده و امکان تحلیل حوزه­های مختلف هنری را مهیا کرده است. واکاوی و تلاش برای صورت­بندی میدان معماری معاصر ایران مطابق با این نظریه، موضوع مطالعه این پژوهش است....

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده الهیات و معارف اسلامی

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023